- формализовать язык
- formalize language
Русско-английский технический словарь.
формализовать язык
Смотреть что такое "формализовать язык" в других словарях:
ФОРМАЛИЗОВАТЬ — ФОРМАЛИЗОВАТЬ, зую, зуешь; ованный; совер. и несовер. (книжн.). Представить ( влять) содержательную сторону явления в виде формальной системы или исчисления. Формализованный язык (система специализированных языковых средств или их символов с… … Толковый словарь Ожегова
формализовать — зую, зует, несов. и сов. , что (фр. formaliser … Словарь иностранных слов русского языка
ПРЕДМЕТНЫЙ ЯЗЫК — язык, являющийся предметом изучения. При формализации какой либо содержательной теории различают два языка. Один это язык формализуемой теории, или П. я., задаваемый правилами построения выражений П. я. и семантическими правилами, определяющими,… … Математическая энциклопедия
ДРАКОН (алгоритмический язык) — У этого термина существуют и другие значения, см. Дракон (значения). Пример блок схемы алгоритма на языке ДРАКОН дракон схемы ДРАКОН (Дружелюбный Русский Алгоритмический язык, Который Обеспечивает Наглядность) визуальный… … Википедия
АЛГОРИТМИЧЕСКИЙ ЯЗЫК — формальный язык программирования, формальный язык, предназначенный для описания вычислительных процессов, или, что то же, для записи алгоритмов, подлежащих выполнению на вычислительных машинах.. Различают проблемно ориентированные А. я. (А. я.… … Математическая энциклопедия
НЕОПОЗИТИВИЗМ — одно из основных направлений философии XX в. Возник и развивался как течение, претендующее на анализ и решение актуальных философско методологических проблем, выдвинутых развитием современной науки. Это вопросы о роли знаково символических… … Современная западная философия. Энциклопедический словарь
Логический позитивизм — (от лат. positivus – положительный) – философское течение в рамках неопозитивизма ХХ века, стремившееся полностью формализовать язык науки с помощью логики и математики … Философия науки. Эпистемология. Методология. Культура
ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… … Философская энциклопедия
Эстетика — составляет особую отрасль философии, занимающуюся красотой и искусством. Самый термин Э. происходит от греческого αίσθετικός, что значит чувственный, и в таком смысле встречается еще у самого основателя науки о прекрасном, Канта, в Критике… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ДРАКОН — Эта статья предлагается к удалению. Пояснение причин и соответствующее обсуждение вы можете найти на странице Википедия:К удалению/28 сентября 2012. Пока процесс обсуждения не завершён, статью мож … Википедия
Знаковые теории языка — Знаковые теории языка совокупность теоретических положений (идей, гипотез) о строении языка, рассматриваемого как система знаков (см. Знак языковой), и об отношении его к внеязыковой действительности. З. т. я. не исчерпывают всех аспектов языка … Лингвистический энциклопедический словарь
